Date: Tue, 07 Jan 1997 15:42:04 GMT
Server: NCSA/1.4.2
Content-type: text/html

<html>
<title>Links to other ATP pages</title>
<h1>Links to other ATP pages</h1>

<ul>
<li><!WA0><!WA0><a href="http://www.ma.utexas.edu/users/bshults/ATP/home.html">
The UT ATP page</a>.

<li><!WA1><!WA1><a
HREF="http://js-sfbsun.cs.uni-sb.de/pub/www/worldwide-deduction.html">
Automated Deduction Worldwide</a>

<li><!WA2><!WA2><a HREF="http://www.comlab.ox.ac.uk/archive/formal-methods.html">
Oxford's Formal Methods Page</a>

<li><!WA3><!WA3><a HREF="http://theory.stanford.edu/people/uribe/research.html">
Uribe's Deduction Page at Stanford</a>

<li><!WA4><!WA4><a HREF="http://theory.stanford.edu/people/uribe/usa.html">
Uribe's US links at Stanford</a>

<li><!WA5><!WA5><a HREF="http://www.mpi-sb.mpg.de:80/igpl/Bulletin/">IGPL
Bulletin</a>

<li>The <!WA6><!WA6><a
href="http://www.mcs.anl.gov/home/mccune/ar/aar">Association for
Automated Reasoning</a>

<li>The <!WA7><!WA7><a href="http://www.mcs.anl.gov/home/mccune/ar/jar">Journal
of Automated Reasoning</a>

<li>The <!WA8><!WA8><a
href="http://www.mcs.anl.gov/home/mccune/ar/cade">Conference on
Automated Deduction</a>

<li>The <!WA9><!WA9><a
href="http://www.cs.washington.edu/research/jair/home.html">Journal of
Artificial Intelligence Research</a>

<li><!WA10><!WA10><a HREF="http://www.cs.unc.edu/mi/mi.html">
UNC Mechanized Inference Page</a>

<li><!WA11><!WA11><a HREF="http://ai.iit.nrc.ca/ai_people.html">IIT AI Personal
Home Pages</a>

<li><!WA12><!WA12><a
HREF="http://www.cs.cmu.edu/afs/cs/user/dennis/www/theory/theory-home.html">
Dennis' Theory Page</a>

<li><!WA13><!WA13><a
HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">
CMU AI Repository</a>

<li><!WA14><!WA14><a HREF="http://www.ai.mit.edu/people/dam/dam.html">David
McAllester</a> has done some inspiring work in this field.

<li><!WA15><!WA15><a href="http://i12www.ira.uka.de/~reiner/">Reiner Haehnle</a>
works on semantic tableax and many-valued logics with others at <!WA16><!WA16><a
href="http://www.ira.uka.de">Karlsruhe</a>.

<li><!WA17><!WA17><a
HREF="http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/tps.html">
TPS</a> is an automated theorem proving program for higher-order logic.

<li><!WA18><!WA18><a href="file://math.harvard.edu/imps/imps_html/imps.html">IMPS
</a> is another theorem proving system which uses knowledge.
</ul>

<hr>

<em>Do you have feedback or want more information?  Contact </em><!WA19><!WA19><a
href="http://www.ma.utexas.edu/users/bshults">Benjamin Shults</a>.

<hr>

